/* -*- mode: c -*- */

/* Extra documentation for state transitions made while
 * handling home key presses.
 *
 * To create PNG image, execute:
 *   dot -Tpng homekey.dot -o homekey.png
 */

digraph home_key_state_machine {
    fontsize=10;
    label = "MCE HOME KEY STATE MACHINE";
    nodesep=0.3;
    ranksep=0.4;
    node[fontsize=7];
    edge[fontsize=7];
    edge[arrowsize=0.3];
    node[style=filled,fillcolor=skyblue,shape=box];
    node[width=0.00001];
    node[height=0.00001];

    node[fillcolor=yellow];

    WAIT_PRESS;
    WAIT_UNBLANK;
    WAIT_RELEASE;
    SEND_SIGNAL;

    node[shape=oval,fillcolor=pink];

    WAIT_PRESS    -> WAIT_UNBLANK  [label=" pressed==true\l"];
    WAIT_UNBLANK  -> WAIT_RELEASE  [label=" display_state_next!=on\l"];
    WAIT_UNBLANK  -> SEND_SIGNAL   [label=" display_state_curr==on\l"];
    SEND_SIGNAL   -> WAIT_RELEASE  [label=" (always)\l"];
    WAIT_RELEASE  -> WAIT_PRESS    [label=" pressed==false\l"];
}
